Définition
Définition :
\(A\) est une pré-base de \(\tau\) si \(\tau=\tau(A)\)
(
Topologie engendrée)
Caractérisation
Caractérisation d'une pré-base :
- \(A\subset{\mathcal P}(E)\)
- (\(E\) s'écrit comme une réunion d'éléments de \(A\))
- \(\forall U,V\in A\), \(U\cap V\) s'écrit comme une réunion d'éléments de \(A\)
$$\Huge\iff$$
- \(A\) est une base de \(\tau(A)\)
